机译：最大允许的控制系统合成非确定性和模态逻辑
机译：允许控制不确定性的部分观测离散事件系统的主管多项式综合
机译：走远：符号符号对空间注意的符号控制的贡献
机译：在符号机器人运动计划和控制中管理非确定性
机译：通过符号计算进行非线性控制设计：将协同作用应用于电力电子系统的控制。
机译：应对痴呆症的日常挑战（达成协议的研究）：经验抽样方法视力伴侣对痴呆症患者配偶照顾者的有效性：随机对照试验设计
机译：非确定性和模态逻辑的最大允许控制系统综合
机译：符号和次符号机器人智能控制系统（ss-RICs）的工程评估和评估（EE和a）报告。
